- frame calculus
- исчисление фреймов
Англо-русский словарь компьютерных и интернет терминов. 2013.
frame calculus
Смотреть что такое "frame calculus" в других словарях:
Calculus of variations — is a field of mathematics that deals with extremizing functionals, as opposed to ordinary calculus which deals with functions. A functional is usually a mapping from a set of functions to the real numbers. Functionals are often formed as definite … Wikipedia
Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… … Wikipedia
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Vector calculus — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation Taylor s theorem Related rates … Wikipedia
Fluent calculus — The fluent calculus is a formalism for expressing dynamical domains in first order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol circ is … Wikipedia
Polar coordinate system — Points in the polar coordinate system with pole O and polar axis L. In green, the point with radial coordinate 3 and angular coordinate 60 … Wikipedia
Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… … Wikipedia
Affine connection — An affine connection on the sphere rolls the affine tangent plane from one point to another. As it does so, the point of contact traces out a curve in the plane: the development. In the branch of mathematics called differential geometry, an… … Wikipedia
Isaac Newton — Sir Isaac Newton … Wikipedia
Joseph Louis Lagrange — Lagrange redirects here. For other uses, see Lagrange (disambiguation). Joseph Louis Lagrange Joseph Louis (Giuseppe Lodovico), comte de Lagrange … Wikipedia
